直接证明：一种证明方法，通过从已知条件（公理、定义、已证结论或题设）出发，按逻辑步骤推导，直接得到要证明的结论（常见于数学与逻辑写作）。也常与 proof by contradiction（反证法）、proof by contrapositive（逆否命题证明） 等对比。
/dəˈrɛkt pruːf/
A direct proof starts from the assumptions and leads to the conclusion.
直接证明从前提出发，并推导到结论。
In the textbook, the theorem is first shown by direct proof, then contrasted with a proof by contradiction.
在教材中，这个定理先用直接证明展示，然后再与反证法作对比。
direct 源自拉丁语 directus（“笔直的、直接的”），经由法语进入英语；proof 来自拉丁语 proba/probare（“检验、证明”），同样通过法语发展为现代英语。合起来 direct proof 字面义即“直接的证明”，强调不绕弯、以线性推导达成结论。
Select Language